Actually, if an error occurs, Xen will silently ignore it and continue.
Convert platform_init to a void function and panic if we fail to
correctly initialize the platform.
Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
printk(" - %s\n", p->name);
}
-int __init platform_init(void)
+void __init platform_init(void)
{
int res = 0;
if ( platform && platform->init )
res = platform->init();
- return res;
+ if ( res )
+ panic("Unable to initialize the platform\n");
}
int __init platform_init_time(void)
*/
#define PLATFORM_QUIRK_DOM0_MAPPING_11 (1 << 0)
-int __init platform_init(void);
+void __init platform_init(void);
int __init platform_init_time(void);
int __init platform_specific_mapping(struct domain *d);
#ifdef CONFIG_ARM_32